algebraic identities working model